Troubitsyna, E.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Software Engineering for Resilient Systems Volume 10479 || Improving Robustness of AUTOSAR Software Components with Design by Contract: A Study Within Volvo AB

Romanovsky, Alexander, Troubitsyna, Elena A.

Year:

2017

Language:

english

File:

PDF, 1.08 MB

english, 2017

2

Online Path Generation and Navigation for Swarms of UAVs

Ashraf, Adnan, Majd, Amin, Troubitsyna, Elena

Journal:

Scientific Programming

Year:

2020

Language:

english

File:

PDF, 1.58 MB

english, 2020

3

[IEEE 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Luxembourg City, Luxembourg (2018.6.25-2018.6.28)] 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Generating Cloud Monitors from Models to Secure Clouds

Troubitsyna, Elena, Rauf, Irum

Year:

2018

Language:

english

File:

PDF, 740 KB

english, 2018

4

[IEEE 2018 IEEE Congress on Evolutionary Computation (CEC) - Rio de Janeiro (2018.7.8-2018.7.13)] 2018 IEEE Congress on Evolutionary Computation (CEC) - Using Optimization, Learning, and Drone Reflexes to Maximize Safety of Swarms of Drones

Majd, Amin, Ashraf, Adnan, Troubitsyna, Elena, Daneshtalab, Masoud

Year:

2018

Language:

english

File:

PDF, 763 KB

english, 2018

5

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 11698 (38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings) ||

Romanovsky, Alexander, Troubitsyna, Elena, Bitsch, Friedemann

Year:

2019

Language:

english

File:

PDF, 27.06 MB

english, 2019

6

A systematic mapping study of API usability evaluation methods

Rauf, Irum, Troubitsyna, Elena, Porres, Ivan

Journal:

Computer Science Review

Year:

2019

Language:

english

File:

PDF, 1.86 MB

english, 2019

7

[IEEE 2008 Third International Conference on Systems ICONS - Cancun, Mexico (2008.04.13-2008.04.18)] Third International Conference on Systems (icons 2008) - Elicitation and Specification of Safety Requirements

Troubitsyna, Elena

Year:

2008

Language:

english

File:

PDF, 197 KB

english, 2008

8

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols

Ilic, Dubravka, Troubitsyna, Elena, Laibinis, Linas, Leppänen, Sari

Year:

2006

Language:

english

File:

PDF, 746 KB

english, 2006

9

[Lecture Notes in Computer Science] Software Engineering for Resilient Systems Volume 10479 || Holistic Processing and Exploring Event Logs

Romanovsky, Alexander, Troubitsyna, Elena A.

Year:

2017

Language:

english

File:

PDF, 625 KB

english, 2017

10

Formal reasoning about resilient goal-oriented multi-agent systems

Laibinis, L., Pereverzeva, I., Troubitsyna, E.

Journal:

Science of Computer Programming

Year:

2017

Language:

english

File:

PDF, 1.27 MB

english, 2017

11

[IEEE 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC) - Madrid, Spain (2020.7.13-2020.7.17)] 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC) - Analysing Privacy-Preserving Constraints in Microservices Architecture

Vistbakka, Inna, Troubitsyna, Elena

Year:

2020

File:

PDF, 73 KB

2020

12

[Lecture Notes in Computer Science] Software Engineering for Resilient Systems Volume 9823 || A/B Testing in E-commerce Sales Processes

Crnkovic, Ivica, Troubitsyna, Elena

Year:

2016

Language:

english

File:

PDF, 395 KB

english, 2016

13

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 11699 (SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings) ||

Romanovsky, Alexander, Troubitsyna, Elena, Gashi, Ilir, Schoitsch, Erwin, Bitsch, Friedemann

Year:

2019

Language:

english

File:

PDF, 34.38 MB

english, 2019

14

[IEEE 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing - Santorini Island, Greece (2007.05.7-2007.05.9)] 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) - On Rigorous Design and Implementation of Fault Tolerant Ambient Systems

Iliasov, Alexei, Romanovsky, Alexander, Arief, Budi, Laibinis, Linas, Troubitsyna, Elena

Year:

2007

Language:

english

File:

PDF, 146 KB

english, 2007

15

Kaisa Sere: In Memoriam

Petre, Luigia, Troubitsyna, Elena, Waldén, Marina

Journal:

Formal Aspects of Computing

Year:

2014

Language:

english

File:

PDF, 187 KB

english, 2014

16

[IEEE Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - Beijing, China (Sept. 28-30, 2004)] Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - Fault tolerance in a layered architecture: a general specification pattern in B

Laibinis, L., Troubitsyna, E.

Year:

2004

Language:

english

File:

PDF, 369 KB

english, 2004

17

Integrating stochastic reasoning into Event-B development

Tarasyuk, Anton, Troubitsyna, Elena, Laibinis, Linas

Journal:

Formal Aspects of Computing

Year:

2015

Language:

english

File:

PDF, 471 KB

english, 2015

18

Deriving a mode logic using failure modes and effects analysis

Prokhorova, Yuliya, Laibinis, Linas, Troubitsyna, Elena, Varpaaniemi, Kimmo, Latvala, Timo

Journal:

International Journal of Critical Computer-Based Systems

Year:

2012

Language:

english

File:

PDF, 490 KB

english, 2012

19

[Lecture Notes in Computer Science] Software Engineering for Resilient Systems Volume 9823 || WRAD: Tool Support for Workflow Resiliency Analysis and Design

Crnkovic, Ivica, Troubitsyna, Elena

Year:

2016

Language:

english

File:

PDF, 238 KB

english, 2016

20

[IEEE 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) - Orlando, FL, USA (2016.1.7-2016.1.9)] 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) - Formalisation-Driven Development of Safety-Critical Systems

Iliasov, Alexei, Romanovsky, Alexander, Troubitsyna, Elena, Laibinis, Linas

Year:

2016

Language:

english

File:

PDF, 466 KB

english, 2016

21

[ACM Press the 2nd International Workshop - London, United Kingdom (2010.04.15-2010.04.16)] Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems - SERENCE '10 - Augmenting formal development of control systems with quantitative reliability assessment

Tarasyuk, Anton, Troubitsyna, Elena, Laibinis, Linas

Year:

2010

Language:

english

File:

PDF, 946 KB

english, 2010

22

[ACM Press the 6th Conference - Bucharest, Romania (2019.09.02-2019.09.03)] Proceedings of the 6th Conference on the Engineering of Computer Based Systems - ECBS '19 - Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments

Salimi, Maghsood, Majd, Amin, Loni, Mohammad, Seceleanu, Tiberiu, Seceleanu, Cristina, Sirjani, Marjan, Daneshtalab, Masoud, Troubitsyna, Elena

Year:

2019

Language:

english

File:

PDF, 2.07 MB

english, 2019

23

[IEEE 2019 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech) - Fukuoka, Japan (2019.8.5-2019.8.8)] 2019 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech) - Multi-Concern Integrated Engineering of Dependable Intelligent Systems

Troubitsyna, Elena

Year:

2019

File:

PDF, 6.34 MB

2019

24

[IEEE 2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Augmenting Event-B modelling with real-time verification

Iliasov, Alexei, Romanovsky, Alexander, Laibinis, Linas, Troubitsyna, Elena, Latvala, Timo

Year:

2012

Language:

english

File:

PDF, 386 KB

english, 2012

25

[IEEE 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC) - Atlanta, GA, USA (2016.6.10-2016.6.14)] 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC) - An Integrated Approach to Deriving Safety and Security Requirements from Safety Cases

Troubitsyna, Elena

Year:

2016

Language:

english

File:

PDF, 162 KB

english, 2016

26

[IEEE 2017 IEEE 28th International Symposium on Software Reliability Engineering: Workshops (ISSREW) - Toulouse (2017.10.23-2017.10.26)] 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Integrating Safety-Aware Route Optimisation and Run-Time Safety Monitoring in Controlling Swarms of Drones

Majd, Amin, Troubitsyna, Elena

Year:

2017

Language:

english

File:

PDF, 236 KB

english, 2017

27

[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - Derivation and Formal Verification of a Mode Logic for Layered Control Systems

Prokhorova, Yuliya, Laibinis, Linas, Troubitsyna, Elena, Varpaaniemi, Kimmo, Latvala, Timo

Year:

2011

Language:

english

File:

PDF, 491 KB

english, 2011

28

[ACM Press the 2008 international workshop - Leipzig, Germany (2008.05.13-2008.05.13)] Proceedings of the 2008 international workshop on Software Engineering in east and south europe - SEESE '08 - MASTAC

Kharchenko, Vyacheslav, Phillips, Chris, Popov, Peter, Pomorova, Oksana, Romanovsky, Alexander, Troubitsyna, Elena

Year:

2008

Language:

english

File:

PDF, 219 KB

english, 2008

29

[Lecture Notes in Computer Science] Rigorous Development of Complex Fault-Tolerant Systems Volume 4157 || F(I)MEA-Technique of Web Services Analysis and Dependability Ensuring

Butler, Michael, Jones, Cliff B., Romanovsky, Alexander, Troubitsyna, Elena

Year:

2006

Language:

english

File:

PDF, 573 KB

english, 2006

30

[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - Patterns for Representing FMEA in Formal Specification of Control Systems

Lopatkin, Ilya, Iliasov, Alexei, Romanovsky, Alexander, Prokhorova, Yuliya, Troubitsyna, Elena

Year:

2011

Language:

english

File:

PDF, 218 KB

english, 2011

31

[ACM Press the Fifth European Conference - Larnaca, Cyprus (2017.08.31-2017.09.01)] Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems - ECBS '17 - Towards a realtime, collision-free motion coordination and navigation system for a UAV fleet

Ashraf, Adnan, Majd, Amin, Troubitsyna, Elena

Year:

2017

Language:

english

File:

PDF, 759 KB

english, 2017

32

[IEEE 2017 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computed, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI) - San Francisco, CA, USA (2017.8.4-2017.8.8)] 2017 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computed, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI) - Optimizing scheduling for heterogeneous computing systems using combinatorial meta-heuristic solution

Majd, Amin, Sahebi, Golnaz, Daneshtalab, Masoud, Troubitsyna, Elena

Year:

2017

Language:

english

File:

PDF, 721 KB

english, 2017

33

[Lecture Notes in Computer Science] Software Engineering for Resilient Systems Volume 6968 ||

Troubitsyna, Elena A.

Year:

2011

Language:

english

File:

PDF, 4.64 MB

english, 2011

34

[Lecture Notes in Computer Science] Software Engineering for Resilient Systems Volume 9823 ||

Crnkovic, Ivica, Troubitsyna, Elena

Year:

2016

Language:

english

File:

PDF, 7.73 MB

english, 2016

35

[IEEE 11th Pacific Rim International Symposium on Dependable Computing (PRDC'05) - Changsha, Hunan, China (12-14 Dec. 2005)] 11th Pacific Rim International Symposium on Dependable Computing (PRDC'05) - Formal Development of Software for Tolerating Transient Faults

IliC, D., Troubitsyna, E.

Year:

2005

Language:

english

File:

PDF, 6.19 MB

english, 2005

36

[Lecture Notes in Computer Science] Software Engineering for Resilient Systems Volume 10479 || A Generated Property Specification Language for Resilient Multirobot Missions

Romanovsky, Alexander, Troubitsyna, Elena A.

Year:

2017

Language:

english

File:

PDF, 3.41 MB

english, 2017

37

A survey of safety-oriented model-driven and formal development approaches

Prokhorova, Yuliya, Troubitsyna, Elena

Journal:

International Journal of Critical Computer-Based Systems

Year:

2013

Language:

english

File:

PDF, 285 KB

english, 2013

38

A refinement-based approach to developing critical multi-agent systems

Pereverzeva, Inna, Troubitsyna, Elena, Laibinis, Linas

Journal:

International Journal of Critical Computer-Based Systems

Year:

2013

Language:

english

File:

PDF, 551 KB

english, 2013

39

[Lecture Notes in Computer Science] Software Engineering for Resilient Systems Volume 9823 || Formal Verification of the On-the-Fly Vehicle Platooning Protocol

Crnkovic, Ivica, Troubitsyna, Elena

Year:

2016

Language:

english

File:

PDF, 1.71 MB

english, 2016

40

[IEEE 2010 Third International Conference on Dependability (DEPEND) - Venice, Italy (2010.07.18-2010.07.25)] 2010 Third International Conference on Dependability - From Formal Specification in Event-B to Probabilistic Reliability Assessment

Tarasyuk, Anton, Troubitsyna, Elena, Laibinis, Linas

Year:

2010

Language:

english

File:

PDF, 327 KB

english, 2010

41

Developing mode-rich satellite software by refinement in Event-B

Iliasov, Alexei, Troubitsyna, Elena, Laibinis, Linas, Romanovsky, Alexander, Varpaaniemi, Kimmo, Ilic, Dubravka, Latvala, Timo

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 1.46 MB

english, 2013

42

Facilitating construction of safety cases from formal models in Event-B

Prokhorova, Yuliya, Laibinis, Linas, Troubitsyna, Elena

Journal:

Information and Software Technology

Year:

2015

Language:

english

File:

PDF, 1.65 MB

english, 2015

43

[IEEE 2012 Ninth European Dependable Computing Conference (EDCC) - Sibiu (2012.05.8-2012.05.11)] 2012 Ninth European Dependable Computing Conference - Formal Development of Critical Multi-agent Systems: A Refinement Approach

Pereverzeva, I., Troubitsyna, E., Laibinis, L.

Year:

2012

Language:

english

File:

PDF, 261 KB

english, 2012

44

[IEEE 2018 IEEE 12th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC) - Hanoi (2018.9.12-2018.9.14)] 2018 IEEE 12th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC) - Designing Compact Convolutional Neural Network for Embedded Stereo Vision Systems

Loni, Mohammad, Majd, Amin, Loni, Abdolah, Daneshtalab, Masoud, Sjodin, Mikael, Troubitsyna, Elena

Year:

2018

Language:

english

File:

PDF, 846 KB

english, 2018

45

Service-Oriented Development of Fault Tolerant Communicating Systems

Laibinis, Linas, Troubitsyna, Elena, Leppänen, Sari

Journal:

International Journal of Embedded and Real-Time Communication Systems

Year:

2010

Language:

english

File:

PDF, 4.62 MB

english, 2010

46

[Lecture Notes in Computer Science] Methods, Models and Tools for Fault Tolerance Volume 5454 || DREP: A Requirements Engineering Process for Dependable Reactive Systems

Butler, Michael, Jones, Cliff, Romanovsky, Alexander, Troubitsyna, Elena

Year:

2009

Language:

english

File:

PDF, 2.41 MB

english, 2009

47

[Lecture Notes in Computer Science] Software Engineering for Resilient Systems Volume 6968 || Supporting Architectural Design Decisions Evolution through Model Driven Engineering

Troubitsyna, Elena A.

Year:

2011

Language:

english

File:

PDF, 546 KB

english, 2011

48

[ACM Press the 2nd International Workshop - London, United Kingdom (2010.04.15-2010.04.16)] Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems - SERENCE '10 - Augmenting formal development of control systems with quantitative reliability assessment

Tarasyuk, Anton, Troubitsyna, Elena, Laibinis, Linas

Year:

2010

File:

PDF, 946 KB

2010

49

[IEEE 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service - Athens, TBD, Greece (2010.06.13-2010.06.19)] 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service - Formal Specification of Fault Tolerant Distributed Systems in the Action Systems Formalism

Troubitsyna, Elena

Year:

2010

Language:

english

File:

PDF, 214 KB

english, 2010

50

[IEEE Comput. Soc International Parallel and Distributed Processing Symposium (IPDPS 2003) - Nice, France (22-26 April 2003)] Proceedings International Parallel and Distributed Processing Symposium - Integrating safety analysis into formal specification of dependable systems

Troubitsyna, E.

Year:

2003

Language:

english

File:

PDF, 312 KB

english, 2003

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски